Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)
by Eugenio G. Omodeo,Alberto Policriti
ISBN 13: 9783319418414
Format: Hardcover (468 pages) Publisher: Springer Published: 09 Feb 2017
Save for later
Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, ... (Lecture Notes in Computer Science, 10834)
by Massimo Bartoletti,Annalisa Barla,Andrea Bracciali,Gunnar W. Klau,Leif Peterson,Alberto Policriti,Roberto Tagliaferri
ISBN 13: 9783030141592
Format: Paperback (223 pages) Publisher: Springer Published: 14 Feb 2019
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
by Domenico Cantone,Eugenio Omodeo,Alberto Policriti
ISBN 13: 9780387951973
Format: Illustrated (432 pages) Publisher: Springer Published: 26 Jun 2001
Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets (Monographs In Computer Science)
ISBN 13: 9781441929051
Format: Paperback (428 pages) Publisher: Springer Published: 21 Sep 2011
ISBN 13: 9783319824437
Format: Paperback (468 pages) Publisher: Springer Published: 03 May 2018
On Sets and Graphs: Perspectives on Logic and Combinatorics
by Eugenio G. Omodeo,Alberto Policriti,Alexandru I. Tomescu
ISBN 13: 9783319855363
Format: Paperback (296 pages) Publisher: Springer Published: 05 Jun 2019